-
1 доказывать перебором
Большой англо-русский и русско-английский словарь > доказывать перебором
-
2 prove by exhaustion
Большой англо-русский и русско-английский словарь > prove by exhaustion
-
3 prove by exhaustion
-
4 prove
мат.доказывать; обосновыватьto prove rigorously — давать строгое доказательство; строго доказывать
-
5 prove by examination
Математика: доказывать перебором -
6 prove by exhaustion
Математика: доказывать перебором
См. также в других словарях:
ИНТУИЦИОНИСТСКАЯ ЛОГИКА — одна из наиболее важных ветвей неклассической логики, имеющая своей филос. предпосылкой программу интуиционизма. Выдвигая на первый план математическую интуицию, интуиционисты не придавали большого значения систематизации логических правил.… … Философская энциклопедия